Rapid developments in Artificial Intelligence are leading to an increasing human reliance on machine decision making. Even in collaborative efforts with Decision Support Systems (DSSs), where a human expert is expected to make the final decisions, it can be hard to keep the expert actively involved throughout the decision process. DSSs suggest their own solutions and thus invite passive decision making. To keep humans actively ‘on’ the decision-making loop and counter overreliance on machines, we propose a ‘reflection machine’ (RM). This (...) system asks users questions about their decision strategy and thereby prompts them to evaluate their own decisions critically. We discuss what forms RMs can take and present a proof-of-concept implementation of a RM that can produce feedback on users’ decisions in the medical and law domains. We show that the prototype requires very little domain knowledge to create reasonably intelligent critiquing questions. With this prototype, we demonstrate the technical feasibility to develop RMs and hope to pave the way for future research into their effectiveness and value. (shrink)

`Folk Psychology' - our everyday talk of beliefs, desires and mental events - has long been compared with the technical language of `Cognitive Science'. Does folk psychology provide a correct account of the mental causes of our behaviour, or must our everyday terms ultimately be replaced by a language developed from computational models and neurobiology? This broad-ranging book addresses these questions, which lie at the heart of psychology and philosophy. Providing a critical overview of the key literature in the field, (...) including the seminal work of Fodor and Churchland, the author explores the classic `Frame Problem' and assesses the future prospects of cognitive science. The scope of the frame problem, touching on connec. (shrink)

Rational social theorists have failed to confirm that observations of social reality equal social reality. Yet they argue that teams, organizations and social systems should minimize interdependence and competition, echoed by social psychologists to make data iid. But the evidence indicates that competitive teams maximize interdependence; self-reports of social reality correlate poorly with social behavior; and only competition measures interdependent social states. Rational expectations aside, we report progress towards a science of interdependence for human–machine teams. Our model of interdependence works (...) like an uncertainty principle in the sense that tradeoffs arise from the uncertainty caused by measuring interdependent actors in orthogonal roles; e.g., in the tradeoff between teams and individuals, teams are more productive but more opaque. Previously, we described interdependence as bistable stories of social reality; the motivation to reject alternative interpretations, increasing uncertainty and errors; and the inability to factor social states. Now we explore education as a surrogate for intelligence in teams. We hypothesized that teams rely on the education of its members to produce more patents. We found that the average schooling in a nation is significantly related to its total patents produced. (shrink)

The heart of philosophy is metaphysics, and at the heart of the heart lie two questions about existence. What is it for any contingent thing to exist? Why does any contingent thing exist? Call these the nature question and the ground question, respectively. The first concerns the nature of the existence of the contingent existent; the second concerns the ground of the contingent existent. Both questions are ancient, and yet perennial in their appeal; both have presided over the burial of (...) so many of their would-be undertakers that it is a good induction that they will continue to do so. For some time now, the preferred style in addressing such questions has been deflationary when it has not been eliminativist. Ask Willard Quine what existence is, and you will hear that "Existence is what existential quantification expresses. "! Ask Bertrand Russell what it is for an individual to exist, and he will tell you that an individual can no more exist than it can be numerous: there 2 just is no such thing as the existence of individuals. And of course Russell's eliminativist answer implies that one cannot even ask, on pain of succumbing to the fallacy of complex question, why any contingent individual exists: if no individual exists, there can be no question why any individual exists. Not to mention Russell's modal corollary: 'contingent' and 'necessary' can only be said de dicto (of propositions) and not de re (of things). (shrink)

This paper investigates connectionism's potential to solve the frame problem. The frame problem arises in the context of modelling the human ability to see the relevant consequences of events in a situation. It has been claimed to be unsolvable for classical cognitive science, but easily manageable for connectionism. We will focus on a representational approach to the frame problem which advocates the use of intrinsic representations. We argue that although connectionism's distributed representations may look promising from this perspective, doubts can (...) be raised about the potential of distributed representations to allow large amounts of complexly structured information to be adequately encoded and processed. It is questionable whether connectionist models that are claimed to effectively represent structured information can be scaled up to a realistic extent. We conclude that the frame problem provides a difficulty to connectionism that is no less serious than the obstacle it constitutes for classical cognitive science. (shrink)

For about a hundred years there has been an intermittent but sometimes vigorous debate1 on the question whether Quintus Smyrnaeus and Tryphiodorus directly used the Second Aeneid as a source for their epic descriptions “of the capture and destruction of Troy. Heyne thought that they did not; but towards the end of the nineteenth century it appeared more likely that they did. Heinze opposed the general belief: but it was reaffirmed for Quintus by Paschal and Becker4 and for Tryphiodorus by (...) Dr. E. Cesareo on internal evidence. Meanwhile Professor Samuel E. Bassett had concluded that Quintus was not after all dependent on Vergil: and still more recently Dr. J. W. Mackail, reviewing Cesareo's monograph, has maintained with emphasis that the Aeneid is certainly not the source of the late epic. Accordingly the controversy cannot even now be considered closed. (shrink)